SCADE KCG(Code generator)

友情提示:(1)有问题: 可以点击 右边中-在线咨询,左侧qq,旺旺在线联系
         (2)感兴趣: 可以点击 左侧中-分享到
SCADE KCG(代码生成器)
综上所述,利用SCADE可以根据需求建立模型、然后通过静态分析保证模型的完整性和一致性、再可以通过模拟仿真保证模型的正确性、最后还可以通过形式验证保证模型的安全性。通过这一系列的操作以后,我们得到了一个完美的模型,已经在开发的早期,也就是在设计阶段就已经把可能的错误都已经排除掉了。
SCADE的代码生成器是指以这个完美的模型为基础,生成出完美的代码。它生成的代码满足一系列的安全性特征,具有良好的可读性和友好的接口,和手写代码具有基本相当的大小和效率。
和其它的许多代码生成器相比,SCADE代码生成有两个显著的特点。第一,SCADE所生成的代码是完全面向工程的产品代码,可以直接嵌入到产品中去而不需要做任何修改。第二,SCADE基于严格的数据理论,它保证代码运行的结果和仿真的结果完全一致。

KCG是目前世界上唯一通过了DO-178B这一严格标准的A级质量认证的代码生成器。它也是唯一通过了IEC61508标准质量认证的代码生成器,支持MISRA等标准。它的使用不仅大大节省了编码工作,而且生成的代码的无需单元测试,很大程度地节省了验证工作和验证时间。基于SCADE KCG的开发流程已被相关认证机构广泛接受,在空客、欧洲直升机、达索等众多用户的多个项目得到大量应用,并通过了DO-178B认证。KCG还是唯一通过了IEC 61508认证的代码生成器。